Delimited control in OCaml, abstractly and concretely
نویسنده
چکیده
ly and Concretely
منابع مشابه
Delimited Control in OCaml, Abstractly and Concretely: System Description
We describe the first implementation of multi-prompt delimited control operators in OCaml that is direct in that it captures only the needed part of the control stack. The implementation is a library that requires no changes to the OCaml compiler or run-time, so it is perfectly compatible with existing OCaml source code and byte-code. The library has been in fruitful practical use for four year...
متن کاملImpact of construal level manipulations on delay discounting
Construal Level Theory states that psychologically proximal outcomes are construed concretely while psychologically distal outcomes are construed abstractly. Previous research suggests that the principles of Construal Level Theory can be applied to enhance self-control, as measured by delay discounting. The present studies replicate and expand on this work by examining whether theory-informed p...
متن کاملThe influence of framing on clinicians' judgments of the biological basis of behaviors.
Practicing clinicians frequently think about behaviors both abstractly (i.e., in terms of symptoms, as in the Diagnostic and Statistical Manual of Mental Disorders, 5th ed., DSM-5; American Psychiatric Association, 2013) and concretely (i.e., in terms of individual clients, as in DSM-5 Clinical Cases; Barnhill, 2013). Does abstract/concrete framing influence clinical judgments about behaviors? ...
متن کاملRunning head: CONCRETE PROSOCIAL GOALS MAXIMIZE HAPPINESS 1 Getting the Most out of Giving: Concretely Framing a Prosocial Goal Maximizes Happiness
Across six field and laboratory experiments, participants assigned a more concretely-framed prosocial goal (e.g., making someone smile or increasing recycling) felt happier and reported creating greater personal happiness after performing a goal-directed act of kindness than did those who were assigned a functionally similar, but more abstractly-framed, prosocial goal (e.g., making someone happ...
متن کاملA Substructural Type System for Delimited Continuations
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear logic with hypothetical reasoning. Evaluation order is not only regulated by familiar focusing rules in the operational semantics, but also expressed by structural rules in the type system, so the types track control flo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 435 شماره
صفحات -
تاریخ انتشار 2012